# this file has 12 nodes, 22 edges
1
2
3
4
5
6
7
8
9
10
11
12
1 2
1 3
1 4
1 5
5 6
5 7
8 9
8 10
8 5
10 7
12 11
12 9
9 10
9 6
6 7
4 12
4 11
4 8
3 11
2 3
2 12
2 6
